Continuous Testing Strategies That Actually Prevent Production Bugs
devops.com·1d
🔄Reproducible Builds
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·7h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
When Tests Become the Bottleneck
blog.testthetest.com·18h·
Discuss: Hacker News
👁️System Observability
MT4DP: Data Poisoning Attack Detection for DL-based Code Search Models via Metamorphic Testing
arxiv.org·3h
🧮Z3 Solver
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Open Sourcing my AI Evaluation Library
dev.to·2h·
Discuss: DEV
📏Code Metrics
Built my homelab on a mini PC, time and money really do build everything.
reddit.com·2m·
Discuss: r/homelab
🏠Homelab Archaeology
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
A distributed systems reliability glossary
antithesis.com·16h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·1h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
AI Test User
incoherency.co.uk·19h
⚡Proof Automation
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Developing with Kiro: Amazon's New Agentic IDE
yehudacohen.substack.com·1d·
Discuss: Substack
❄️Nix Adoption
New Benchmark suite for analytical DBs using real-world SQL queries
github.com·14h·
Discuss: Hacker News
📝Database WAL
Python Fundamentals: build
dev.to·19h·
Discuss: DEV
🔄Reproducible Builds
Show HN: AI Test User – simulate your customer experience
aitestuser.com·19h·
Discuss: Hacker News
🖥️Modern Terminals
Smarter Testing Ahead: Benefits of AI and ML in Test Automation
dev.to·1d·
Discuss: DEV
⚡Proof Automation
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·1d
🧮SMT Solvers
Differentiable Programming for Learnable Graphs: Optimizing LLM Workflows W DSPy
viksit.substack.com·2d·
Discuss: Substack
⚡Incremental Computation